121. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56
122. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
56
123. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin, 2491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
124. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
125. Fundamentals of mathematical logic /
پدیدآورنده : Peter G. Hinman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
126. Funtional Programming Languages in Education :
پدیدآورنده : edited by Pieter H. Hartel, Rinus Plasmeijer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Logic design.
رده :
QA76
.
62
E358
1995
127. General recursion theory
پدیدآورنده : Fenstad, Jens Erik
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F46
1980
128. General recursion theory : an axiomatic approach
پدیدآورنده : Fenstad, Jens Erik.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F46
129. Generalized recursion theory. Proceedings of the 1972 Oslo symposium
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
S93
1972
130. Generalized recursion theory; proceedings of the 1972 Oslo Symposium
پدیدآورنده : / edited by J. E. Fenstad and P. G. Hinman
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Recursive functions
رده :
515
.
25
S989
1972
131. Geometric and Algebraic Structures in Differential Equations
پدیدآورنده : edited by P. H. M. Kersten, I. S. Krasil'Shchik.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential Equations.,Geometry, Algebraic.,Geometry.,Mathematics.
132. Graphs and Order
پدیدآورنده : edited by Ivan Rival.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Computational complexity.,Mathematics.
133. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
134. Handbook of mathematical logic. tics; ed. by barwise, jon.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Symbolische logica.,Wiskundige logica.
رده :
QA9
.
H32
1977
135. Higher recursion theory
پدیدآورنده : Sacks, Gerald E.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
136. Higher recursion theory
پدیدآورنده : Sacks, Gerald E.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
137. Higher recursion theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Recursion theory. ;
138. How to think about algorithms
پدیدآورنده : Edmonds, Jeff, Jeff Edmonds
موضوع : Study and teaching ، Algorithms,Study and teaching ، Loops )Group theory(,Study and teaching ، Invariants,Study and teaching ، Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
139. How to think about algorithms
پدیدآورنده : Edmonds, Jeff, 3691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Study and teaching ، Algorithms,Study and teaching ، Loops )Group theory(,Study and teaching ، Invariants,Study and teaching ، Recursion theory
رده :
QA
9
.
58
.
E35H6
140. Induction, recursion, and programming
پدیدآورنده : Wand, Mitchell
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Induction )Mathematics(,، Recursion theory
رده :
QA
76
.
6
.
W34
